example problem on inference rules in discrete mathematics